/home/correa/workspace/pargo-instances/clique/dimacs/san200_0.7_2.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1396 rows, 1596 columns, and 7902 nonzeros.
Reduced MIP has 200 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (4.77 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (4.81 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Clique table members: 1398.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.03 sec. (21.10 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      200.0000      440     --- 
      0     0       18.0000    93        0.0000       18.0000      440     --- 
*     0+    0                           14.0000       18.0000      440   28.57%
      0     0       18.0000    70       14.0000      User: 18      440   28.57%
      0     0       18.0000    82       14.0000      Cuts: 50      555   28.57%
*     0+    0                           15.0000       18.0000      555   20.00%
      0     0       18.0000    60       15.0000      Cuts: 48      607   20.00%
      0     0       18.0000    62       15.0000      Cuts: 45      669   20.00%
      0     0       18.0000    62       15.0000      Cuts: 25      678   20.00%
*     0+    0                           16.0000       18.0000      678   12.50%
      0     0       18.0000    76       16.0000      Cuts: 44      790   12.50%
      0     0       18.0000    57       16.0000      Cuts: 35      852   12.50%
      0     0       18.0000    78       16.0000      Cuts: 47      974   12.50%
      0     0       18.0000    57       16.0000      Cuts: 43     1041   12.50%
      0     0       18.0000    61       16.0000      Cuts: 41     1132   12.50%
      0     2       18.0000    49       16.0000  Local Cut: 1     1132   12.50%                        0             0
Elapsed time = 6.22 sec. (9437.40 ticks, tree = 0.00 MB, solutions = 4)
      1     3       18.0000    86       16.0000       18.0000     1437   12.50%             x11 N      1      0      1
      2     4       18.0000    77       16.0000       18.0000     2665   12.50%             x11 N      2      0      1
      3     5       18.0000    78       16.0000       18.0000     3076   12.50%            x187 N      3      2      2
      5     5       18.0000    68       16.0000       18.0000     3414   12.50%             x56 N      5      3      3
      6     6       18.0000    82       16.0000       18.0000     3597   12.50%            x196 N      6      5      4
     10    10       17.3750    62       16.0000       18.0000     4007   12.50%             x67 D     10      9      7
     14    14       17.3077    61       16.0000       18.0000     4097   12.50%            x195 D     14     13     11
     22    14       18.0000    73       16.0000       18.0000     4935   12.50%            x109 N     22      6      5
     26    18       17.9756    96       16.0000       18.0000     5846   12.50%            x156 D     26     25      9
     42    34       17.3333    69       16.0000       18.0000     7094   12.50%             x16 D     42     41     25
Elapsed time = 13.27 sec. (20458.66 ticks, tree = 0.47 MB, solutions = 4)
     62    42       18.0000    64       16.0000       18.0000     8493   12.50%             x41 D     62     61      8
     78    58       17.5455    64       16.0000       18.0000     9412   12.50%             x83 D     78     77     24
*    80+    1                           18.0000       18.0000     9486    0.00%

User cuts applied:  627

Root node processing (before b&c):
  Real time             =    6.15 sec. (9339.80 ticks)
Sequential b&c:
  Real time             =    8.41 sec. (13226.34 ticks)
                          ------------
Total (root+branch&cut) =   14.56 sec. (22566.14 ticks)
Solution status = Optimal
Solution value  = 18
Clique in initial model  = 1396
Clique separated  = 741
Rango separated  = 112
Rango con pesos separated  = 173
Número de nudos B&B  = 82
Número de llamadas a PL  = 68
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 3
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
